Merge branch 'new-style-menu' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 9 Jun 2019 18:13:55 +0000 (18:13 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 9 Jun 2019 18:13:55 +0000 (18:13 +0000)
New style menu

See merge request GNOME/gtk!916


Trivial merge